High Assurance Systems Engineering

Policy-Based Security for Wireless Components in High Assurance Computer Systems

To enable the growth of wireless networks in high assurance computer systems, it is essential to establish a security engineering methodology that provides system security managers with a procedural engineering process to develop computer security policies. Our research demonstrates how wireless communication technology is deployed using the Multiple Independent Levels of Security (MILS) archit...

Insertion of formalism into systems level design

Society’s increasing dependence on complex technology mandates high assurance of system correctness. Traditional engineering disciplines such as civil or mechanical engineering achieve such assurance through application of mathematics to system modeling. ‘The formal nature of mathematics allows practitioners in traditional engineering domains to predict the behavior of systems prior to implemen...

Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach

Enabling Design Separation for High-Reliability and Information-Assurance Systems

High-reliability system design has experienced a similar need to reduce system size, power, and cost while maintaining expected reliability. Traditionally, these system designs have achieved reliability through redundancy. This redundancy manifests itself though increased component count, logic size, system power, and cost. These same reliability requirements and attributes are shared by other ...

AMOEBA-RT: Run-Time Verification of Adaptive Software

Increasingly, software must dynamically adapt its behavior in response to changes in the supporting computing, communication infrastructure, and in the surrounding physical environment. Assurance that the adaptive software correctly satisfies its requirements is crucial if the software is to be used in high assurance systems, such as command and control or critical infrastructure protection sys...

Assurance-driven design in Problem Oriented Engineering∗

The design of assurance cases is hampered by the positand-prove approach to software and systems engineering; it has been observed that, traditionally, a product is produced and then evidence from the development is looked for to build an assurance case. Although post-hoc assured development is possible, it often results in errors being uncovered late—leading to costly redevelopment—or to syste...